13

Extending MODULA-2 for object-oriented programming

Year:
1990
Language:
english
File:
PDF, 968 KB
english, 1990
14

Scala Actors: Unifying thread-based and event-based programming

Year:
2009
Language:
english
File:
PDF, 1.51 MB
english, 2009
17

Introduction

Year:
1995
Language:
english
File:
PDF, 89 KB
english, 1995
18

Scalable component abstractions

Year:
2005
Language:
english
File:
PDF, 636 KB
english, 2005
19

The Scala experiment

Year:
2006
Language:
english
File:
PDF, 105 KB
english, 2006
22

Polymorphic type inference and abstract data types

Year:
1994
Language:
english
File:
PDF, 1.16 MB
english, 1994
25

The call-by-need lambda calculus

Year:
1998
Language:
english
File:
PDF, 431 KB
english, 1998
45

Type inference with constrained types

Year:
1999
Language:
english
File:
PDF, 219 KB
english, 1999
47

Negative Boolean constraints

Year:
1996
Language:
english
File:
PDF, 1013 KB
english, 1996
48

A confluent calculus for concurrent constraint programming

Year:
1997
Language:
english
File:
PDF, 1.61 MB
english, 1997
49

Call-by-name, call-by-value, call-by-need and the linear lambda calculus

Year:
1999
Language:
english
File:
PDF, 206 KB
english, 1999